$\forall$$A$,$B$:$\mathbb{P}$. (($\neg$$A$) $\vee$ ($\neg$$B$)) $\Rightarrow$ ($\neg$($A$ $\wedge$ $B$))